Relations in Categories

نویسنده

  • Stefan Milius
چکیده

This thesis investigates relations over a category C relative to an (E;M)-factorization system of C. In order to establish the 2-categoryRel(C) of relations over C in the rst part we discuss su cient conditions for the associativity of horizontal composition of relations, and we investigate special classes of morphisms in Rel(C). Attention is particularly devoted to the notion of mapping as de ned by Lawvere. We give a signi cantly simpli ed proof for the main result of Pavlovi c, namely that C ' Map(Rel(C)) if and only if E RegEpi(C). This part also contains a proof that the category Map(Rel(C)) is nitely complete, and we present the results obtained by Kelly, some of them generalized, i. e., without the restrictive assumption that M Mono(C). The next part deals with factorization systems in Rel(C). The fact that each set-relation has a canonical image factorization is generalized and shown to yield an ( E; M)-factorization system in Rel(C) in case M Mono(C). The setting without this condition is studied, as well. We propose a weaker notion of factorization system for a 2-category, where the commutativity in the universal property of an (E;M)-factorization system is replaced by coherent 2-cells. In the last part certain limits and colimits in Rel(C) are investigated. Coproducts exist inRel(C) and are given as in C provided that C is extensive. However, nite (co)completeness fails. Finally we show that colimits of !-chains do not exist in Rel(C) in general. However, it turns out that a canonical construction with a 2-categorial universal property exists if C has well-behaved colimits of !-chains. For the case E Epi(C) we give a necessary and su cient condition that forces our construction to yield colimits of !-chains in Map(Rel(C)).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Pathology of talent management in urban industries; case study: automotive industries

The purpose of this study is pathology of talent management in the automotive industry, so we identify Challenges and barriers, as well as success factors in this filed. This research is a kind of qualitative study that has been done by coding methodology of qualitative data. We used semi-structured interview to collect data. After collecting data and coding, data are divided into two groups of...

متن کامل

Consequences & Shared Psychological Experiences of Female with Free Marital Relations

Purpose: The main purpose of the present study was to gain a deeper insight into the common psychological consequences and experiences of girls with free marital relationships. Method: The nature of the present issue was "qualitative" in terms of research time, measured in "quantities" research, and in terms of type, "descriptive phenomenology." Participants in the study included 12 girls with...

متن کامل

تجربه‌زیسته زنان معتاد در شهر تهران: دستیابی به یک الگوی تبیینی

Objective: Addiction among women has extra negative damages because of its essential role in family and parenting. The present study aimed to explore the factors effective in women and girls’ tendency to drug use and to develop a theoretical model in this sphere. Method: Grounded theory, along with a qualitative research method was used in this study. The addicted women presenting to Chitgar Wo...

متن کامل

O ct 2 00 1 The categorical theory of relations and quantization February 1 , 2008

In this paper we develops a categorical theory of relations and use this formulation to define the notion of quantization for relations. Categories of relations are defined in the context of symmetric monoidal categories. They are shown to be symmetric monoidal categories in their own right and are found to be isomorphic to certain categories of A−A bicomodules. Properties of relations are defi...

متن کامل

Residential Model and the Role It Plays on Human Relations in Residential Complexes

This paper deals with the concept of “residential models” and the role it plays on human relations in residential complexes. It intends to; review the concept of residence; understand how a residential model takes form; the influence of a residential model on future human interactions. To this end, having reviewed comments and viewpoints, focused on “what is residence? which factors may create ...

متن کامل

Partitioned Binary Relations

We define the category of partitioned binary relations and show that it contains many classical diagram categories, including categories of binary relations, maps, injective maps, partitions, (oriented) Brauer diagrams and (oriented) Temperley-Lieb diagrams. We construct a one-parameter deformation of the category of partitioned binary relations and show that it gives rise to classical one-para...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000